°An algebra with two
binary operators which are both
associative, both
commutative, such that both operators are
distributive with respect to each other, with a pair of identity elements: one for each operator, and a unary complementation operator which simultaneously yields the inverse with respect to both operators.